Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
451	A Constraint-Solving Approach to Faust Program Type Checking Imré Frotier de la Messelière1 , Pierre Jouvelot1 , Jean-Pierre Talpin2 1 MINES ParisTech, PSL Research University Add to Reading List Source URL: feever.fr Language: English - Date: 2014-09-15 03:55:36 Computer programming FAUST Type system Type inference Principal type Constraint programming OCaml E Programming language Software engineering Type theory Computing
452	USING CONSTRAINT PROGRAMMING AND SIMULATION FOR EXECUTION MONITORING AND PROGRESSIVE SCHEDULING Julien Bidot ∗,∗∗,1 Philippe Laborie ∗ J. Christopher Beck ∗∗∗ Thierry Vidal ∗∗ Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-09-18 17:11:29 Applied mathematics Management Scheduling algorithms Scheduling Job shop scheduling Schedule Monte Carlo method Operations research Planning Business
453	Processes and Continuous Change in a SAT-based Planner 1 Ji-Ae Shin Courant Institute, New York University, New York, NY 10012, USA Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-02-14 11:22:18 Mathematics Automated planning and scheduling Programming paradigms Operations research Planning Domain Definition Language Logic in computer science Boolean satisfiability problem Constraint satisfaction Linear programming Theoretical computer science Applied mathematics Constraint programming
454	Planning Modulo Theories: Extending the Planning Paradigm Peter Gregory Derek Long and Maria Fox J. Christopher Beck Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2012-04-19 08:48:52 Automated planning and scheduling Propositional calculus Constraint programming Formal methods Planning Domain Definition Language Boolean algebra Satisfiability Modulo Theories Interpretation Function Logic Mathematics Mathematical logic
455	Solving Wind Farm Layout Optimization with Mixed Integer Programming and Constraint Programming Peter Y. Zhang, David A. Romero, J. Christopher Beck, Cristina H. Amon Department of Mechanical and Industrial Engineering U Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2013-01-18 09:00:48 Fluid dynamics Wind power Electric power Electrical generators Energy conversion Wind turbine Wind farm Turbine Linear programming Energy Electrical engineering Aerodynamics
456	Continuous Time in a SAT-based Planner Ji-Ae Shin and Ernest Davis∗ Courant Institute New York University { jiae \| davise }@cs.nyu.edu Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2006-05-25 12:15:43 Logic in computer science Software engineering Constraint programming Fluent Computer programming Automated planning and scheduling Artificial intelligence Planning Domain Definition Language
457	Numeric Bounds Analysis with Conflict-Driven Learning? Vijay D’Silva?? , Leopold Haller, Daniel Kroening, and Michael Tautschnig Computer Science Department, University of Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-07-25 13:39:19 Applied mathematics Electronic design automation Formal methods Logic in computer science NP-complete problems Valuation Boolean satisfiability problem Local consistency Abstract interpretation Theoretical computer science Constraint programming Mathematics
458	Microsoft Word - ahm_time_paper_v6-1.doc Add to Reading List Source URL: www.allhands.org.uk Language: English - Date: 2009-07-07 09:08:50 Health informatics Artificial intelligence Information extraction Natural language processing Medical record Constraint satisfaction Electronic health record Constraint logic programming TimeML Computing Constraint programming Science
459	Gecode Modeling and Programming Add to Reading List Source URL: www.gecode.org Language: English - Date: 2011-06-15 08:39:11 Gecode KLOC Kloc Pomeranian Voivodeship Royal Institute of Technology Schulte Linux kernel Constraint satisfaction problem Constraint programming Software Computing
460	HAMPI: A Solver for Word Equations over Strings, Regular Expressions, and Context-Free Grammars ADAM KIEZUN, Brigham and Women’s Hospital / Harvard Medical School VIJAY GANESH, Massachusetts Institute of Technology SHA Add to Reading List Source URL: pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Theoretical computer science SQL injection SQL Hampi Context-free grammar String Constraint programming Boolean satisfiability problem Formal grammar Formal languages Computing Software engineering

UPDATE